81. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
82. Formal techniques for safety-critical systems :
پدیدآورنده : Cyrille Artho, Peter Csaba Ölveczky (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,System safety, Congresses.,Systems engineering, Congresses.,Formal methods (Computer science),System safety.,Systems engineering.
رده :
QA76
.
9
.
F67
83. Foundations of software technology and theoretical computer science : 19th Conference, Chennai, India, December 1999 : proceedings
پدیدآورنده : C. Pandu Rangan, V. Raman, R. Ramanujam )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
1738
84. Foundations of software technology and theoretical computer science: 18th conference, Chennai, India, December 17-19, 1999: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer science
رده :
QA
76
.
758
.
C684
1998
85. Fourth International Conference on Software Engineering and Knowledge Engineering: : proceedings
پدیدآورنده : International Conference on Software Engineering and Knowledge Engineering )4th : 2991 : Capri,Italy(
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Software engineering- Congresses,، Expert systems )Computer science(- Congresses
86. Frontiers in Computer Education
پدیدآورنده : \ Editor Yuanzhi Wang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Engineering,Artificial intelligence,مهندسی,هوش مصنوعی,a04,a05,a04,a05,Computer science -- Study and teaching -- Congresses. ,علوم کامپیوتر -- راهنمای آموزشی -- کنگره ها
رده :
QA
76
.
27
.
F7
2015
E-Book
,
87. Fundamental approaches to software engineering :
پدیدآورنده : Alessandra Russo, Andy Schürr (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
رده :
QA76
.
758
.
F37
2018eb
88. Fundamentals of Computation Theory
پدیدآورنده : \ Adrian Kosowski , Igor Walukiewicz (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Software engineering.,Computer science -- Congresses.,مهندسی ن‍رم اف‍زار ,علوم کامپیوتر -- کنگره‌ها
رده :
QA
76
.
76
.
F8
2015
E-Book
,
89. Generative programming and component engineering
پدیدآورنده : Robert Glück, Michael Lowry (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Component software, Congresses.,Generative programming (Computer science), Congresses.,Software engineering, Congresses.
90. Generative programming and component engineering : ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002 : proceedings
پدیدآورنده : Don Batory, Charles Consel, Walid Taha )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2487
91. Generative programming and component engineering : Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004 : proceedings
پدیدآورنده : Gabor Karsai, Eelco Visser )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3286
92. Generative programming and component engineering : second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003 : proceedings
پدیدآورنده : Frank Pfenning, Yannis Smaragdakis )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Generic programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
2830
93. Generative programming and component engineering : 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29-October 1, 2005 : proceedings
پدیدآورنده : Robert Gluck, Michael Lowry )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Generative programming )Computer science(,Congresses ، Component software,Congresses ، Software engineering
رده :
QA
76
.
L28
Vol
.
3676
94. ICT and critical infrastructure :proceedings of the 48th Annual Convention of Computer Society of India
پدیدآورنده : Suresh Chandra Satapathy, P. S. Avadhani, Siba K. Udgata, Sadasivuni Lakshminarayana, editors ; Hosted by CSI Vishakapatnam Chapter
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Congresses ، Computer science,Congresses ، Information technology,Congresses ، Computer networks,Congresses ، Computer security,Congresses ، Computer networks - Security measures,، Engineering,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(
رده :
QA75
.
5
95. Iaeng transactions on engineering sciences :special issue for the International Association of Engineers conferences 2016
پدیدآورنده : Sio-Iong Ao, International Association of Engineers, Hong Kong, Alan Hoi-shou Chan )City University of Hong Kong, Hong Kong, Hideki Katagiri, Hiroshima University, Japan
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : Congresses ، Engineering,Congresses ، Computer science
رده :
TA5
.
S6642
2017
96. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
97. Information Technology -- New Generations :
پدیدآورنده : Shahram Latifi, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Electrical engineering.,Information technology, Congresses.,Algorithms & data structures.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electrical engineering.,Information retrieval.,Information technology.
رده :
QA75
.
5
98. Information and Communication Technology for Competitive Strategies :
پدیدآورنده : Simon Fong, Shyam Akashe, Parikshit N. Mahalle, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Information technology, Congresses.,Telecommunication, Congresses.,Communications Engineering, Networks.,Computational Intelligence.,Data Mining and Knowledge Discovery.,Engineering.,Artificial intelligence.,Communications engineering / telecommunications.,Computer science.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.,Data mining.,Information technology.,Telecommunication.
رده :
T58
.
5
99. Information and Software Technologies
پدیدآورنده : \ Giedre Dregvaite , Robertas Damasevicius (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer science,کامپیوتر,a05,a05,Computer science -- Congresses.,Software engineering -- Congresses,علوم کامپیوتر -- کنگره‌ها ,نرم‌افزار -- مهندسی-- کنگره‌ها
رده :
QA
75
.
5
.
I5
2015
E-Book
,
100. Information computing and applications :
پدیدآورنده : Chunfeng Liu, Jincai Chang, Aimin Yang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Software engineering, Congresses.
رده :
QA75
.
5
.
I25
2011
